Test case generation according to the binary search strategyBEYDEDA, Sami; GRUHN, Volker.Lecture notes in computer science. 2003, pp 1000-1007, issn 0302-9743, isbn 3-540-20409-1, 8 p.Conference Paper

Layout influences testabilitySPENCER, T. H; SAVIR, J.IEEE transactions on computers. 1985, Vol 34, Num 3, pp 287-290, issn 0018-9340Article

On the acceleration of test generation algorithmsFUJIWARA, H; SHIMONO, T.IEEE transactions on computers. 1983, Vol 32, Num 12, pp 1137-1144, issn 0018-9340Article

Automated generation of unit tests for refactoringWALTER, Bartosz; PIETRZAK, Blazej.Lecture notes in computer science. 2004, pp 211-214, issn 0302-9743, isbn 3-540-22137-9, 4 p.Conference Paper

A practical approach to fault simulation and test generation for bridging faultsABRAMOVICI, M; MENON, P. R.IEEE transactions on computers. 1985, Vol 34, Num 7, pp 658-663, issn 0018-9340Article

Comments on fault diagnosis of MOS combinational networksKUANG-WI CHIANG; VRANESIC, Z. G.IEEE transactions on computers. 1984, Vol 33, Num 10, issn 0018-9340, 947Article

Functional testing of microprocessorsDHANANJAY BRAHME; ABRAHAM, J. A.IEEE transactions on computers. 1984, Vol 33, Num 6, pp 475-485, issn 0018-9340Article

Stuck-at fault tests in the presence of undetectable bridging faultsYAMADA, T; NANYA, T.IEEE transactions on computers. 1984, Vol 33, Num 8, pp 758-761, issn 0018-9340Article

Software-based diagnosis for processorsLI CHEN; DEY, Sujit.Design automation conference. 2002, pp 259-262, isbn 1-58113-461-4, 4 p.Conference Paper

Accélération de la génération destests de protocoles par agrégation de méthodes hétérogènes = Acceleration of test generation For protocols by merging heterogeneous methodsTouag, Athmane; Girault, Claude.2000, 165 p.Thesis

Embedded software-based self-testing for SoC designKRSTIC, A; LAI, W.-C; CHEN, L et al.Design automation conference. 2002, pp 355-360, isbn 1-58113-461-4, 6 p.Conference Paper

Proceedings/3rd Automatic test program generation workshop, San Francisco CA, March 15-16, 1983Automatic test program generation workshop. 3. 1983, 142 p., isbn 0-8186-0461-1Conference Proceedings

Compression assessment based on medical image quality concepts using computer-generated test imagesKOCSIS, O; COSTARIDOU, L; MANDELLOS, G et al.Computer methods and programs in biomedicine. 2003, Vol 71, Num 2, pp 105-115, issn 0169-2607, 11 p.Article

LEIRIOS test generator : Automated test generation from B modelsJAFUEL, Eddie; LEGEARD, Bruno.Lecture notes in computer science. 2006, pp 277-280, issn 0302-9743, isbn 978-3-540-68760-3, 1Vol, 4 p.Conference Paper

Test generation algorithms based on preorder relationsTSCHAEN, Valéry.Lecture notes in computer science. 2005, pp 151-171, issn 0302-9743, isbn 3-540-26278-4, 21 p.Conference Paper

Test sequence generation and model checking using dynamic transition relationsCAMPOS, Sérgio; GRUMBERG, Orna; YORAV, Karen et al.International journal on software tools for technology transfer (Print). 2004, Vol 6, Num 2, pp 174-182, issn 1433-2779, 9 p.Article

Ranking of input cubes based on their lingering synchronisation effects and their use in random sequential test generationPOMERANZ, I; REDDY, S. M.IET computers & digital techniques (Print). 2011, Vol 5, Num 5, pp 415-423, issn 1751-8601, 9 p.Article

An open framework for managed regression testingMITTAL, Naina; ACHARYA, Ira.Lecture notes in computer science. 2003, pp 265-278, issn 0302-9743, isbn 3-540-40123-7, 14 p.Conference Paper

UniTesK test suite architectureBOURDONOV, Igor B; KOSSATCHEV, Alexander S; KULIAMIN, Victor V et al.Lecture notes in computer science. 2002, pp 77-88, issn 0302-9743, isbn 3-540-43928-5, 12 p.Conference Paper

Spécification et Génération de Tests du Comportement Dynamique des Systèmes à Objets Répartis = Specification and Test Cases Generation of the Dynamic Behavior of Distributed Object SystemsMazziotta, Sandro; Labetoulle, Jacques.1997, 232 p.Thesis

Detecting I/O and internal feedback bridging faultsSHIYI XU; SU, S. Y. H.IEEE transactions on computers. 1985, Vol 34, Num 6, pp 553-557, issn 0018-9340Article

A LOGIC SYSTEM FOR FAULT TEST GENERATION.AKERS SB JR.1976; I.E.E.E. TRANS. COMPUTERS; U.S.A.; DA. 1976; VOL. 25; NO 6; PP. 620-630; BIBL. 2 REF.Article

TEST GENERATION ALGORITHMS FOR COMPUTER HARDWARE DESCRIPTION LANGUAGESLEVENDEL YK; MENON PM.1982; IEEE TRANS. COMPUT.; ISSN 0018-9340; USA; DA. 1982; VOL. 31; NO 7; PP. 577-588; BIBL. 22 REF.Article

TEST CALCULATION FOR LOGIC NETWORKS BY COMPOSITE JUSTIFICATIONSZIRAY J.1979; DIGIT. PROCESS; CHE; DA. 1979; VOL. 5; NO 1-2; PP. 3-15; ABS. FRE/GER; BIBL. 10 REF.Article

TEST GENERATION IN COMBINATIONAL NETWORKS BY DECOMPOSITION.PAPAIOANNOU SG.1976; COMPUTERS ELECTR. ENGNG.; G.B.; DA. 1976; VOL. 3; NO 4; PP. 387-394; BIBL. 6 REF.Article